System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
141	The Icon Analyst In-Depth Coverage of the Icon Programming Language December 1998 Number 51 file, not counting L-System directives like the axiom. Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 1998-11-16 14:49:24
142	facultad de inform´ atica universidad polit´ecnica de madrid Automatic Coding Rule Conformance Checking Using Logic Programming Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2007-09-01 17:49:20 C programming language MISRA C Prolog C Type system Computing Programming language theory Software engineering
143	Embedding logics in Dedukti 2014 edition Ali Assaf 2nd KWARC-Deducteam workshop May 26, 2014 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-01-08 08:10:54 Type theory Lambda calculus Formal methods Logic in computer science Coq Pure type system HOL Correctness Automated proof checking Theoretical computer science Applied mathematics Programming language theory
144	Porting the UNIX Implementation of Icon; Version 5.10* William H. Mitchell TR 85-20a ABSTRACT Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2014-02-11 20:12:24 Procedural programming languages Programming language implementation Instruction set architectures Assembly language Unix C Library VAX Operating system Computing Software engineering Computer architecture
145	Q IWA Publishing 2010 Journal of Hydroinformatics \| 12.4 \| A pattern-oriented approach to development of a real-time storm sewer simulation system with an SWMM model Add to Reading List Source URL: www.iwaponline.com Language: English - Date: 2010-05-14 14:28:26 Computing Software architecture Object-oriented programming Software design Storm Water Management Model United States Environmental Protection Agency Model–view–controller Pattern language Architectural pattern Software engineering Software design patterns Design
146	Electronic Prior Approval Request (PAR) System: FAQ’s Quick Reference Guide What actions require prior approval? Add to Reading List Source URL: cng.ncsu.edu Language: English - Date: 2012-10-09 16:49:22 Par ALGOL 68 Email Internet Computing Digital media Programming language theory
147	Q IWA Publishing 2007 Journal of Hydroinformatics \| 09.3 \| Evaluation of spatially variable control parameters in a complex catchment modelling system: a genetic Add to Reading List Source URL: www.iwaponline.com Language: English - Date: 2007-06-08 03:13:04 Storm Water Management Model United States Environmental Protection Agency Genetic algorithm Parameter AS/400 Control Language Mutation Scattering parameters Subroutine Computer programming Software engineering Computing
148	TEX and TUG NEWS TEX and TUG NEWS is a newsletter for TEX and LATEX users alike: a forum for exchanging information, tips and suggestions; a regular means of communicating news items to one another ; a place where inform Add to Reading List Source URL: mirrors.concertpass.com Language: English - Date: 2011-01-07 09:23:18 Publishing Computing ConTeXt TUG Device independent file format Donald Knuth Text Executive Programming Language New Typesetting System TeX Typography Typesetting
149	JazzScheme: Evolution of a Lisp-Based Development System Guillaume Cartier Louis-Julien Guillemette SFP 2010 Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:57 Lisp programming language Functional languages Lisp Franz Lisp MLisp Computing Computer programming Software engineering
150	The Icon Analyst In-Depth Coverage of the Icon Programming Language October 1998 Number 50 In this issue … Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 1998-11-16 14:49:18 Computer programming Formal grammar L-system Icon LL parser Regular expression Attribute grammar Formal languages Software engineering Computing

UPDATE